home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / quadmids.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  672 b   |  21 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.296854, 0.0342, "1");
  3. v2 = .free(0.045144, 0.362517, "2");
  4. v3 = .free(0.463748, -0.236662, "3");
  5. v4 = .free(-0.384405, -0.682627, "4");
  6. l1 = .l.vv(v1, v2);
  7. l2 = .l.vv(v2, v3);
  8. l3 = .l.vv(v3, v4);
  9. l4 = .l.vv(v4, v1);
  10. v5 = .v.vvmid(v1, v2, .red);
  11. v6 = .v.vvmid(v2, v3, .red);
  12. v7 = .v.vvmid(v3, v4, .red);
  13. v8 = .v.vvmid(v4, v1, .red);
  14. l5 = .l.vv(v5, v6, .red);
  15. l6 = .l.vv(v6, v7, .red);
  16. l7 = .l.vv(v7, v8, .red);
  17. l8 = .l.vv(v8, v5, .red);
  18. .text("The midpoints of an arbitrary quadrilateral form a parallelogram.");
  19. .text("Try moving any of the vertices 1, 2, 3, and 4, and note that");
  20. .text("the red figure remains a parallelogram.");
  21.